The Stratified µ-Calculus

The untyped stack calculus and Bohm's theorem

The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's λ µ, does not admit the Böhm Theorem, typical of the λ-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Λµ is for λ µ.

A Predicate µ-Calculus for Mobile Ambients and Model Checking

A Modal µ-Calculus for Durational Transition Systems

X iv : h ep - p h / 06 01 10 0 v 2 3 1 Ju l 2 00 6 Higgs - Mediated e → μ transitions in II Higgs doublet Model and Supersymmetry

We study the phenomenology of the e − µ lepton flavor violation (LFV) in a general two Higgs Doublet Model (2HDM) including the supersymmetric case. We compute the decay rate expressions of µ → eγ, µ → eee, and µ → e conversion in nuclei at two loop level. In particular, it is shown that µ → eγ is generally the most sensitive channel to probe Higgs-mediated LFV. The correlations among the decay...

/ 06 01 10 0 v 1 1 2 Ja n 20 06 Higgs - Mediated e → μ transitions in II Higgs doublet Model and Supersymmetry

We study the phenomenology of the e − µ lepton flavour violation (LFV) in a general two Higgs Doublet Model (2HDM) including the supersymmetric case. We compute the decay rate expressions of µ → eγ, µ → eee, and µ → e conversion in nuclei at two loop level. In particular, it is shown that µ → eγ is generally the most sensitive channels to probe Higgs-mediated LFV. The correlations among the dec...